$\vdash$  ($\cap$$x$:!Void().!Void()) $\in$ Type